521. Leveraging applications of formal methods, verification and validation :
Author: Tiziana Margaria, Bernhard Steffen (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
Classification :
QA76
.
9
.
F67
522. Logic-based program synthesis and transformation :
Author: Fred Mesnard, Peter J. Stuckey (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer software-- Development, Congresses.,Logic programming, Congresses.,Computer logic.,Computer software-- Development.,Logic programming.
Classification :
QA76
.
63
523. Logical foundations for cognitive agents :
Author: Hector J. Levesque, Fiora Pirri (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer logic.,Intelligent agents (Computer software)
Classification :
QA76
.
9
.
L63
H438
1999
525. MATLAB recipes
Author: Michael Paluszek, Stephanie Thomas
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: MATLAB,Computer software,Mathematics,Mathematical Software
Classification :
QA76
.
75-76
.
765
526. MCSE :
Author: Robert King, Gary Govanus.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Microsoft Windows NT server.,Microsoft Windows NT server.,Electronic data processing personnel-- Certification.,Microsoft software-- Examinations, Study guides.,COMPUTERS-- Operating Systems-- General.,Electronic data processing personnel-- Certification.,Microsoft software-- Examinations.
Classification :
QA76
.
3
.
K55
2001b
527. Mac OS X Snow Leopard for dummies /
Author: by Bob "Dr. Mac" LeVitus.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mac OS.,Mac OS (Computer software),Mac OS.,Mac OS.,Macintosh (Computer)-- Programming, Handbooks, manuals, etc.,Operating systems (Computers), Handbooks, manuals, etc.,Computer operating systems.,COMPUTERS-- Operating Systems-- DOS.,COMPUTERS-- Operating Systems-- Macintosh.,COMPUTERS-- Operating Systems-- Windows Server & NT.,COMPUTERS-- Operating Systems-- Windows Workstation.,COMPUTERS-- System Administration-- Windows Administration.,Macintosh (Computer)-- Computer software.,Macintosh (Computer)-- Programming.,Operating systems (Computers)
Classification :
QA76
.
76
.
O63
L485425
2009eb
528. Maintenance Planning :
Author: by P. Lyonnet.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Science (General)
Classification :
TS192
.
B975
1991
529. Make a shield from wisdom :
Author: 20090507 0
Library: Library of Islamic Parliament (Tehran)
Subject:
530. Making effective business decisions using Microsoft Project /
Author: Advisicon, Inc
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Decision making-- Data processing.,Project management-- Computer programs.
Classification :
HD69
.
P75
R83
2013eb
(
Online
)
531. Management of data in clinical trials /
Author: Eleanor McFadden.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Clinical trials-- Data processing.,Clinical Trials as Topic-- methods.,Database Management Systems.,Research Design.
Classification :
R853
.
C55
M39
2007
532. Management of information security /
Author: Michael E. Whitman, Herbert J. Mattord.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Security measures-- Management.,Computer security-- Management.,Computer security.,Information technology-- Security measures.,Computer security-- Management.,Computer security.,Computersicherheit,Information technology-- Security measures.,Kryptologie,Risikomanagement
Classification :
TK5105
.
59
.
W45
2019
533. Managing Cisco network security /
Author: Eric Knipp [and others] ; Edgar Danielyan, technical editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cisco Systems, Inc.,Cisco Systems, Inc.,Computer networks-- Management.,Computer networks-- Security measures.,Computer networks-- Management.,Computer networks-- Security measures.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.
Classification :
TK5105
.
59
.
M36
2002eb
534. Managing knowledge networks /
Author: J. David Johnson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Expert systems (Computer science),Online information services.,COMPUTERS-- Expert Systems.,Expert systems (Computer science),Online information services.,Unternehmen,Wissensmanagement
Classification :
QA76
.
55
.
J64
2009eb
535. Managing the unmanageable : systematic downloading of electronic resources by library users / Gayle Baker, Carol Tenopir -- Library/vendor relations : the APA experience / Linda Beebe -- Managing customer relationships : a book vendor point-of-
Author: Sam Brooks, David H. Carlson, editors.
Library: Library of Islamic Parliament (Tehran)
Subject:
536. Mathematical tools for shape analysis and description
Author: Silvia Biasotti, Bianca Falcidieno, Daniela Giorgi, and Michela Spagnuolo, Consiglio Nazionale delle Ricerche, Italy
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Image analysis-- Mathematics,Image processing-- Mathematics,Shapes-- Mathematics,Three-dimensional imaging-- Mathematics
Classification :
TA1637
.
5
.
B32
2014
537. Microservices for the enterprise :
Author: Kasun Indrasiri, Prabath Siriwardena.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application program interfaces (Computer software),Enterprise application integration (Computer systems),Application program interfaces (Computer software),COMPUTERS-- Software Development & Engineering-- General.,Enterprise application integration (Computer systems),Programming & scripting languages: general.
Classification :
QA76
.
76
.
A65
538. Microsoft PowerPoint version 2002 step by step /
Author: Perspection, Inc.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Microsoft PowerPoint (Computer file),Microsoft PowerPoint (Fichier d'ordinateur),Microsoft PowerPoint (Computer file),Presentation graphics software.,Infographie.,Présentations (Affaires)-- Méthodes graphiques-- Logiciels.,Presentation graphics software.
Classification :
T385
.
M5235
2001
539. Microsoft SQL server to IBM DB2 UDB conversion guide
Author: / [Whei-Jen Chen ... et al.]
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer system conversion,SQL server,IBM Database 2
Classification :
QA76
.
9
.
C68
,
M53
2005
540. Microsoft Windows 7 in depth /
Author: Robert Cowart and Brian Knittel
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Microsoft Windows (Computer file),Operating systems (Computers)
Classification :
QA76
.
76
.
O63
C68336
2010
